• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۲۸۰ پاسخ غیر تکراری از ۲۸۱ پاسخ تکراری در مدت زمان ۰,۵۸ ثانیه یافت شد.

241. Research issues in structured and semistructured database programming : 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Richard Connor, Alberto Mendelzon )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Database management,Congresses ، Programming languages )Electronic computers(,Congresses ، Structured programming

Classification :
QA
76
.
L28
Vol
.
1949

242. Scenarios

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Stefan Leue, Tarja Johanna Systa (eds.).

Library: Library of College of Science University of Tehran (Tehran)

Subject: Software engineering--Graphic methods--Congresses.,Computer network protocols--Congresses.,Programming languages (Electronic computers)--Semantics--Congresses.

Classification :
QA76
.
758
.
S28
2003

243. Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Stefan Leue, Tarja Johanna Systa )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Graphic methods -- Congresses ، Software engineering,Congresses ، Computer network protocols,Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
3466

244. Semantics and algebraic specificatio

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jens Palsberg (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses

Classification :
QA
,
76
.
7
,.
S435
,
2009

245. Semantics and algebraic specification

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A

Classification :

246. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Neil D. Jones

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
94

247. Semantics for concurrency : proceedings of the International BCS-FACS Workshop

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK

Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)

Subject: Parallel programming (Computer science) - Congresses,Programming languages (Electronic computers) - Semantics - Congresses

Classification :
QA76
.
642
.
I56
1990

248. Semantics : foundations and applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992 : Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: J.W. de Baker, W.P. de Roever, G. Rozenberg )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
666

249. Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses

Classification :
QA
76
.
7
.
R49
1992

250. Semantics of concurrent computation :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Gilles Kahn.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.

Classification :
QA76
.
6
E358
1979

251. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: International Symposium on Semantics of Concurrent Computation, )9791, Evian-les-Bains, France(

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Parallel processing )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Semantics-- Congresses

Classification :
QA
76
.
6
.
I577
1979

252. Semantics of data types :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by G. Kahn, D.B. MacQueen, and G. Plotkin.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.

Classification :

253. Software Engineering; an Advancd Course

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by F. L. Bauer

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: Programming- Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
6
.
A33
1972a

254. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: SLE 8002)8002 :Toulouse, France(

Library: Library of Razi Metallurgical Research Center (Tehran)

Subject: ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses

Classification :
QA
76
.
7
.
S587
2008

255. Software language engineering : third international conference, SLE 2010, the Netherlands, October 12-13, 2010 : revised selected papers

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Malloy, Brian

Library: Library of Razi Metallurgical Research Center (Tehran)

Subject: ، Software engineering -- Congresses,، Programming languages )Electronic computers( -- Congresses,، Programming languages )Electronic computers(

Classification :
QA76
.
7
.
S587
2010

256. Static analysis :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Antoine Miné, David Schmidt (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.

Classification :
QA76
.
6
.
I5733
2012eb

257. Static analysis :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Kwangkeun Yi (ed.).

Library: Library of Faculty of World Studies University of Tehran (Tehran)

Subject: Computer programming,Programming languages (Electronic computers),Congresses.,Congresses.

Classification :
QA76
.
6
.
I5733
2006

258. Static analysis

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jens Palsberg, Zhendong Su (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses

Classification :
QA76
.
6
.
I5733
2009

259. Static analysis :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Eran Yahav (edition)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer programming, Congresses,Programming languages (Electronic computers), Congresses

Classification :
QA76
.
6

260. Static analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28-30, 1994 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Baudouin Le Charlier )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

Classification :
QA
76
.
L28
Vol
.
864
  • »
  • 14
  • 13
  • 12
  • 11
  • 10
  • 9
  • ...
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival